1

Analyses of unsatisfiability for equational logic programming

Maria Alpuente, Moreno Falaschi, Ferdinando Manzo
Журнал:
The Journal of Logic Programming
Рік:
1995
Мова:
english
Файл:
PDF, 1.94 MB
english, 1995
2

Partial evaluation of functional logic programs

Alpuente, María, Falaschi, Moreno, Vidal, Germán
Журнал:
ACM Transactions on Programming Languages and Systems
Рік:
1998
Мова:
english
Файл:
PDF, 774 KB
english, 1998
5

Incremental constraint satisfaction for equational logic programming

María Alpuente, Moreno Falaschi, Giorgio Levi
Журнал:
Theoretical Computer Science
Рік:
1995
Мова:
english
Файл:
PDF, 2.28 MB
english, 1995
6

Abstract Model Checking of tccp programs

María Alpuente, María del Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 357 KB
english, 2005
7

Order-Sorted Generalization

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 294 KB
english, 2009
8

A Visual Technique for Web Pages Comparison

María Alpuente, Daniel Romero
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 377 KB
english, 2009
9

A semantic framework for the abstract model checking of tccp programs

María Alpuente, María del Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Журнал:
Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 1.02 MB
english, 2005
10

Termination of narrowing revisited

María Alpuente, Santiago Escobar, José Iborra
Журнал:
Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 1.01 MB
english, 2009
11

OnDemandOBJ: A Laboratory for Strategy Annotations

María Alpuente, Santiago Escobar, Salvador Lucas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 196 KB
english, 2003
12

Redundancy of Arguments Reduced to Induction

María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 241 KB
english, 2002
13

Correct and Complete (Positive) Strategy Annotations for OBJ

María Alpuente, Santiago Escobar, Salvador Lucas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 318 KB
english, 2004
16

A compositional semantic basis for the analysis of equational Horn programs

María Alpuente, Moreno Falaschi, Germán Vidal
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 2.58 MB
english, 1996
17

Preface

María Alpuente, Santiago Escobar, Moreno Falaschi
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 77 KB
english, 2006
18

A Debugging Scheme for Functional Logic Programs

María Alpuente, Franciso Correa, Moreno Falaschi
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 327 KB
english, 2002
19

On-demand Evaluation by Program Transformation

María Alpuente, Santiago Escobar, Salvador Lucas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 298 KB
english, 2003
23

A modular order-sorted equational generalization algorithm

Alpuente, María, Escobar, Santiago, Espert, Javier, Meseguer, José
Журнал:
Information and Computation
Рік:
2014
Мова:
english
Файл:
PDF, 738 KB
english, 2014
24

Using conditional trace slicing for improving Maude programs

Alpuente, María, Ballis, Demis, Frechina, Francisco, Romero, Daniel
Журнал:
Science of Computer Programming
Рік:
2014
Мова:
english
Файл:
PDF, 4.25 MB
english, 2014
25

A rewriting logic approach to the formal specification and verification of web applications

Alpuente, María, Ballis, Demis, Romero, Daniel
Журнал:
Science of Computer Programming
Рік:
2014
Мова:
english
Файл:
PDF, 1.04 MB
english, 2014
30

A unifying view of functional and logic program specialization

Alpuente, Maria, Falaschi, Moreno, Vidal, German
Журнал:
ACM Computing Surveys
Рік:
1998
Мова:
english
Файл:
PDF, 130 KB
english, 1998
32

Specialization of functional logic programs based on needed narrowing

ALPUENTE, MARÍA, LUCAS, SALVADOR, VIDAL, GERMÁN, HANUS, MICHAEL
Журнал:
Theory and Practice of Logic Programming
Рік:
2005
Мова:
english
Файл:
PDF, 256 KB
english, 2005
34

Imposing assertions in Maude via program transformation

Alpuente, María, Ballis, Demis, Sapiña, Julia
Журнал:
MethodsX
Рік:
2019
Мова:
english
Файл:
PDF, 1.49 MB
english, 2019